if [ "$grub_platform" = "efi" ]; then
  menuentry $"UEFI Shell (may not work with Secure Boot)" --id 'efishell' {
    chainloader /boot/shell.efi
  }
fi
